predicate calculus
Synonyymisanakirja
predicate calculus
symbolinen logiikka, matemaattinen logiikka, formaalinen logiikka, predikaattilogiikka.
Rimmaavat sanat
predicate calculus rimmaa näiden kanssa:
kaulus, laakakaulus, kriminnahkakaulus, kilpikonnakaulus, paitakaulus, karvakaulus, sadekaulus, pikeekaulus, tukikaulus, saalikaulus...
Englannin sanakirja
predicate calculus (englanti > suomi)
predicate calculus englanniksi
puhekieltä The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.